Object theory

Results: 981



#Item
61String theory / Algebraic geometry / Homological algebra / Mathematical physics / Differential geometry / Homological mirror symmetry / Mirror symmetry / Triangulated category / Divisor

SPHERELIKE DIVISORS ANDREAS HOCHENEGGER Let X be a smooth projective variety of dimension d. An object S in Db (X) is called spherical if (1) Ext• (S, S) = k ⊕ k[−d];

Add to Reading List

Source URL: www.iag.uni-hannover.de

Language: English - Date: 2016-04-06 07:35:52
62Systemic risk / Network theory / Networks / Financial crises / Financial risk / Dirk Helbing / Robustness of complex networks / Agent-based model / Risk / Financial crisis / Crisis / Object Process Methodology

ETH Competence Center Coping with Crises in Complex Socio-Economic Systems (CCSS) www.ccss.ethz.ch Prof. Dr. Dirk Helbing

Add to Reading List

Source URL: www.ccss.ethz.ch

Language: English - Date: 2010-06-06 06:56:12
63Data types / Object-oriented programming / Type theory / Object / Identifier / Subtyping / Const

Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0

Add to Reading List

Source URL: kartverket.no

Language: English - Date: 2015-07-22 04:38:38
64Type theory / Functional languages / Object-oriented programming languages / Type systems / Data types / Haskell / Structural type system / Duck typing / D / Type signature / OCaml / Abstract type

Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-01-31 23:15:57
65Type theory / Data types / Functional programming / Object-oriented programming / Polymorphism / Parametric polymorphism / Map / Ordinal number / Boolean data type

Type-Based Reasoning for Real Languages Janis Voigtl¨ander University of Bonn PPL’10

Add to Reading List

Source URL: www.janis-voigtlaender.eu

Language: English - Date: 2016-08-01 05:50:11
66Type theory / Concurrent programming languages / Object-oriented programming / Polymorphism / Data types / Scala / Covariance and contravariance / Go / Type system / Type inference / Subtyping / Form

Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2016-05-09 14:09:08
67Ufologists / Roswell UFO incident / Kevin D. Randle / Unidentified flying object / Lincoln LaPaz / Ufology / Green fireballs / William J. Birnes / UFO / Philip J. Klass / UFO conspiracy theory

SUNlite Shedding some light on UFOlogy and UFOs Volume 1 Number 3 September-October 2009

Add to Reading List

Source URL: www.astronomyufo.com

Language: English - Date: 2014-07-07 19:19:42
68Abstraction / Mark Rothko / Card shuffling / Samuel Eilenberg / Philosophy of mathematics / Category theory / Shuffling / Abstract expressionism / Category / Number / Integer / Mathematical object

PDF Document

Add to Reading List

Source URL: www.cs.dartmouth.edu

Language: English - Date: 2004-12-22 23:50:07
69Object-oriented programming languages / Functional programming / Type theory / Scala / Immutable object / Xtend / C++ classes / Covariance and contravariance / Type class

Value Classes in Scala Lukas Rytz, Typesafe Value Classes in Scala •

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
70Database management systems / Query languages / Database theory / Semantic Web / Db4o / Object database / Triplestore / SPARQL / Query by Example / SQLite / Embedded database / MySQL

A Benchmark for Context Data Management in Mobile Context-Aware Applications∗ Nadine Frohlich ¨ Thorsten Moller

Add to Reading List

Source URL: persdb10.imis.athena-innovation.gr

Language: English - Date: 2010-09-24 11:17:17
UPDATE